哥德尔定理概述

多次提到彭罗斯将哥德尔不完备性定理(Gödel's incompleteness theorems)作为核心论点之一，下面谈一下全本（笔者）理解的这个定理及其意义。全本未必能用最严格的数学/逻辑定义来 ...